在推演中，“∨-”规则指的是：A:从A∨B推出A；从A∨B推出B B:从A∨B和ØB推出A；从A∨B和ØA推出B C:从A→B和ØA→B推出B D:从A∨B、A→C和B→C推出C 答案: 从A∨B、A→C和B→C推出C

点击这里，查看本门网课答案